widget: Get DPI from style directly
authorTimm Bäder <mail@baedert.org>
Thu, 16 Jan 2020 10:30:14 +0000 (11:30 +0100)
committerTimm Bäder <mail@baedert.org>
Sat, 18 Jan 2020 07:49:52 +0000 (08:49 +0100)
commitdda54b2b8fcdee8a5b6b9f92e311215a6baa53bd
treecee8d768e9ae1ad81eda3d32147bebd2f0ee29b2
parent821efcb725987c23afd12ea856e23ad954d0c590
widget: Get DPI from style directly

Instead of going through GtkStyleContext.
gtk/gtkwidget.c